#	Mirrored Lens with dihedral angle 2π/8
#
#	The matrix elements lie in the field Q[√2].

  1.00000000000000000000  0.00000000000000000000  0.00000000000000000000  0.00000000000000000000
  0.00000000000000000000  1.00000000000000000000  0.00000000000000000000  0.00000000000000000000
  0.00000000000000000000  0.00000000000000000000 -0.70710678118654752440 -0.70710678118654752440
  0.00000000000000000000  0.00000000000000000000 -0.70710678118654752440  0.70710678118654752440

  1.00000000000000000000  0.00000000000000000000  0.00000000000000000000  0.00000000000000000000
  0.00000000000000000000  1.00000000000000000000  0.00000000000000000000  0.00000000000000000000
  0.00000000000000000000  0.00000000000000000000 -0.70710678118654752440  0.70710678118654752440
  0.00000000000000000000  0.00000000000000000000  0.70710678118654752440  0.70710678118654752440
